Linear cryptanalysis of pseudorandom functions

Relatório de projeto de pesquisa.In this paper, we study linear relations propagating across block ciphers from the key input to the ciphertext (for a fixed plaintext block). This is a usual setting of a one-way function, used for instance in modes of operation such as KFB (key feedback). We instantiate the block cipher with the full 16-round DES and $s^2$-DES, 10-round LOKI91 and 24-round Khufu, for which linear relations with high bias are well known. Other interesting targets include the full 8.5-round IDEA and PES ciphers for which high bias linear relations exist under the assumption of weak keys. Consequences of these findings impact the security of modes of operation such as KFB and of pseudorandom number/bit generators. These analyses were possible due to the linear structure and the poor diffusion of the key schedule algorithms. These findings shall motivate carefull (re)design of current and future key schedule algorithms

Mini-ciphers: a reliable testbed for cryptanalysis?

This paper reports on higher-order square analysis of the AES cipher. We present experimental results of attack simulations on mini-AES versions with word sizes of 3, 4, 5, 6 and 7 bits and describe the propagation of higher-order Lambda-sets inside some of these distinguishers. A possible explanation of the length of the square distinguishers uses the concept of higher-order derivatives of discrete mappings

Transporte convectivo de calor e massa em meios porosos saturados

Dissertação (mestrado) - Universidade Federal de Santa Catarina. Centro TecnologicoEquações governantes para variáveis médias em problemas de transporte em meios porosos saturados são deduzidas a partir das mecânicas do contínuo. Durante o desenvolvimento, atenção especial é dedicada à modelagem dos termos desconhecidos que resultam do processo de média. O modelo é "fechado" com o auxílio de dados experimentais da literatura e de hipóteses relativas à essência de alguns dos mecanismos físicos envolvidos. A formulação resultante é, então, aplicada a um meio poroso constituído de esferas compactadas em um problema de placas paralelas. Com base nos resultados numéricos obtidos, o formalismo adotado é reavaliado e é discutida a influência de parâmetros importantes em casos práticos

Desempenho termico de cabos de potencia subterraneos incluindo migração de umidade no solo e efeitos transientes

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro TecnologicoApresentação de uma metodologia numérica para a simulação de transferência de calor e migração de umidade em solos úmidos em torno de cabos elétricos de potência em instalações subterrânea. O solo circundante aos cabos é modelado de acordo com a abordagem do contínuo para meios porosos insaturados. As equações governantes resultantes deste processo são resolvidas de acordo com a metodologia de volumes finitos. O código computacional resultante é otimizado de modo a evitar os longos tempos computacionais normalmente associados a este tipo de simulação, permitindo a obtenção de resultados completos em computadores de pequeno porte. Para aproximar a solução obtida das necessidades reais dos projetistas de cabos elétricos subterrâneos, que necessitam a temperatura no núcleo do cabo, o interior do cabo também é incorporado à formulação do problema. O modelo físico do solo é o mais completo possível, dentro dos limites impostos pelo tempo computacional, e inclui a depedência de todas as propriedades com umidade e temperatura, além de fatores adicionais como o efeito de gravidade sobre a umidade do solo e um modelo simplificado para o efeito de histerese das curvas que descrevem as propriedades termo-hidráulicas do solo

Amphibia, Anura, Hylidae, Phyllodytes punctatus Caramaschi and Peixoto, 2004: distribution extension and first record out of the type locality

This article provides a new record of Phyllodytes punctatus in Parque Nacional Serra de Itabaiana, municipality of Areia Branca, Sergipe, northeast Brazil. This point is the first record after the description of the species

Análise da Vulnerabilidade do DSA com Parâmetros Curtos

Este trabalho apresenta um estudo que identifica os pontosvulneráveis do Digital Signature Algorithm (DSA) mediante o uso de parâmetros curtos. A segurança afetada com a redução de seus parâmetros será discutida

First record of Siphonops paulensis Boettger, 1892 (Gymnophiona: Siphonopidae) in the state of Sergipe, northeastern Brazil

Siphonopidae is represented by 25 caecilians species in South America. In Brazil, Siphonops paulensis is found in the states of Maranhão, Rio Grande do Norte, Bahia, Tocantins, Goiás, Mato Grosso, Mato Grosso do Sul, Minas Gerais, São Paulo, Rio de Janeiro, Rio Grande do Sul, and in the Distrito Federal. Herein, we report the first record of Siphonops paulensis in the state of Sergipe, Brazil, Simão Dias municipality. This record significantly expands the distribution of the species in northeastern Brazil

First record of Pipa carvalhoi (Miranda-Ribeiro, 1937) (Anura: Pipidae) in the state of Sergipe, northeastern Brazil

The Pipidae family is represented by seven frog species in South America and Panama, strictly linked to aquatic environments. Pipa carvalhoi is currently distributed in the states of Bahia, Ceará, Espírito Santo, Minas Gerais, Paraíba and Pernambuco, in Brazil. We report the first record of Pipa carvalhoi for the state of Sergipe, Brazil, in the Conservation Unity Monumento Natural Grota do Angico, Poço Redondo municipality. This study significantly expands the distribution of the species in northeastern Brazil

Programas de formação inicial de professores: um estudo de caso sobre o pibid no Distrito Federal

This paper presents results of an exploratory study on the database of the Scholarship Program of initiation to Teaching (Pibid - in portuguese), with the intention of verify the adherence – and the nature of this adherence – to this program on teacher formation undergraduate courses of Higher Education Institutions (HEI) in the Distrito Federal (DF). Objectively, we intend to discuss adherence of the HEI of the DF to the Pibid with crossing information of the database of the program and the higher education census. Methodologically, the study is characterized as a case study. It discusses, from the results presented, that the institutions participating in the program in the DF have heterogeneous profiles both with regard to courses on the use of the quota of scholarships and adherence to the program.http://dx.doi.org/10.5902/1984644414327Este artigo apresenta resultados de um estudo exploratório sobre a base de dados do Programa de Bolsas de Iniciação à Docência (Pibid) com vistas a verificar a aderência – e a natureza desta aderência – a este programa em cursos de licenciaturas das Instituições de Ensino Superior (IES) no Distrito Federal (DF). Objetivamente, pretende-se discutir a aderência das IES do DF ao Pibid a partir do cruzamento de informações da base de dados do programa e da educação superior. Metodologicamente, o estudo caracteriza-se como um estudo de caso. Discute-se, a partir dos resultados apresentados, que as instituições participantes do programa no DF possuem perfis heterogêneos tanto no que diz respeito aos cursos quanto ao aproveitamento da cota de bolsas e aderência ao programa